MiningZinc: A declarative framework for constraint-based mining
نویسندگان
چکیده
منابع مشابه
MiningZinc: A declarative framework for constraint-based mining
We introduce MiningZinc, a declarative framework for constraint-based data mining. MiningZinc consists of two key components: a language component and an execution mechanism. First, the MiningZinc language allows for high-level and natural modeling of mining problems, so that MiningZinc models are similar to the mathematical definitions used in the literature. It is inspired by the Zinc family ...
متن کاملMiningZinc: A Modeling Language for Constraint-Based Mining
We introduce MiningZinc, a general framework for constraint-based pattern mining, one of the most popular tasks in data mining. MiningZinc consists of two key components: a language component and a toolchain component. The language allows for high-level and natural modeling of mining problems, such that MiningZinc models closely resemble definitions found in the data mining literature. It is in...
متن کاملA Declarative Framework for Security: Secure Concurrent Constraint Programming
Motivation. Due to technological advances such as the Internet and mobile computing, Security has become a serious challenge involving several disciplines of Computer Science. In recent years, there has been a growing interest in the analysis of security protocols and one promising approach is the development of formalisms that model communicating processes, in particular Process Calculi. The r...
متن کاملA Semantic Framework for the Declarative Debugging of Wrong and Missing Answers in Declarative Constraint Programming
Debugging tools are a practical need for helping programmers to understand why their programs do not work as intended. Declarative programming paradigms involving complex operational details, such as constraint solving and lazy evaluation, do not fit well to traditional debugging techniques relying on the inspection of low-level computation traces. As a solution to this problem, and following a...
متن کاملDeclarative Rule-Based Constraint Programming
The focus of this research is on the area of declarative rulebased constraint programming, in particular on answer set programming. Answer set programming (ASP) is an approach to rule-based constraint programming that has received increasing attention over the last few years. Rulebased programming seems like a natural way to represent specifications for several problems. The aim is to develop a...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Artificial Intelligence
سال: 2017
ISSN: 0004-3702
DOI: 10.1016/j.artint.2015.09.007